properties of binary relation in discrete mathematics